linearization calculus